Visualizing Program Execution
نویسندگان
چکیده
The motivation for this work stems from the lack of good visual tools for describing the execution of procedure-level constructs such as procedures, functions, coroutines, iterators, methods, and processes. Our proposed solution to this problem is an extension of an old technique called the contour diagram, which was originally used to give semantics for Algol-like languages. Our extensions allow the contour diagram to be used for more modern languages, such as object-oriented languages, logic languages, etc. In this paper, we explain this extended notation, and its use in visualizing the execution of procedural, object-oriented and logic programs. The significance of this extension is that it can serve as a basis for program visualization tools.
منابع مشابه
Reification of Program Points for Visual Execution
Existing reification techniques for Java only allow for inspection and manipulation of Java programs on the class, object and method level, but not at the level of individual program points. In this paper we introduce a reification technique of program points based on source-tosource transformations. Our reification method allows for the association of arbitrary meta-information with program po...
متن کاملModeling Object-Oriented Program Execution
This paperdescribes awayof organizing information about an object-orientedprogram’s execution. The context is our system for visualizing that execution. The critical constraints are completeness, compactness, and efficient retrieval. We describe our design and how it meets these constraints.
متن کاملEffectiveness of Program Visualization: A Case Study with the ViLLE Tool
Executive Summary Program visualization is one of the various methods developed over the years to aid novices with their difficulties in learning to program. It consists of different graphical – often animated – and textual objects, visualizing the execution of programs. The aim of program visualization is to enhance students’ understanding of different areas of program execution. Typical progr...
متن کاملVisualization Tools for Validating Software of Autonomous Spacecraft
Spacecraft autonomy is becoming an increasingly important technology. Yet the very nature of autonomy − on-board decision making and largely unattended operation − makes it important that such systems be thoroughly tested and validated. We are developing software visualization tools to assist in the validation process. The tools, which are designed to facilitate human problem solving, combine g...
متن کاملVisualizing Distributed Data Structures
A new programming style for large-scale parallel programs centered around distributed data structures has emerged. The current parallel program visualization tools were intended for the old style and do not deal with distributed data structures. We show, with several examples of visualizations and animations developed for large scale pC++ programs, that visualizing and animating distributed dat...
متن کامل